Temperature Effects on Soft Error Rate Due to Atmospheric Neutrons on 28 nm FPGAs

In ambiti come l'avionica e l'automotive e' difficile garantire un'alta affidabilita' dell'elettronica per la presenza di radiazione. In tale lavoro sperimentale su FPGA si vuole tracciare una relazione fra il tasso di Single Event Upset dovuti a neutroni atmosferici nelle memorie SRAM e la frequenza di funzionamento del circuito. I risultati mostrano che e' difficile avere una spiegazione teorica del fenomeno e che il tasso di SEU e' legato più alla temperatura del ciruito che alla frequenza.ope

Artificial vs biological meshes: can in vitro cellular responses predict the outcome in patients?

Synthetic and biological matrices for abdominal wall repair have been developed and commercialized in recent years. Biological meshes have been proposed as an alternative when synthetic implants are not indicated, as in the case of contaminated surgical field and may present fewer complications such as chronic pain and visceral adhesions after hernia repair. However, their use is still debated, due to high cost to benefit ratio. Moreover, knowledge of the molecular pathways activated in the different types of cells by their use is still lacking. This study aimed to investigate the molecular processes activated by fibroblasts during their interaction with different types of biological and synthetic matrices, comparing the fibroblast-matrix interactions morphologically, monitoring cell proliferation and the expression of genes involved in the deposition and reabsorption of collagen, as well as some cytokines and markers of differentiation into myofibroblasts. We found that fibroblasts grew differently on the different biological meshes. Few fibroblasts grew on the synthetic mesh, impairing gene expression analysis. Fibroblasts on biological meshes induced specific metalloproteinases and reduced expression of collagen genes compared to control cells. Expression of markers for myofibroblast differentiation was also reduced. We found limited differences in gene expression programs among the different biological meshes

Artificial vs biological meshes: can in vitro cellular responses predict the outcome in patients?

Synthetic and biological matrices for abdominal wall repair have been developed and commercialized in recent years. Biological meshes have been proposed as an alternative when synthetic implants are not indicated, as in the case of contaminated surgical field and may present fewer complications such as chronic pain and visceral adhesions after hernia repair. However, their use is still debated, due to high cost to benefit ratio. Moreover, knowledge of the molecular pathways activated in the different types of cells by their use is still lacking. This study aimed to investigate the molecular processes activated by fibroblasts during their interaction with different types of biological and synthetic matrices, comparing the fibroblast-matrix interactions morphologically, monitoring cell proliferation and the expression of genes involved in the deposition and reabsorption of collagen, as well as some cytokines and markers of differentiation into myofibroblasts. We found that fibroblasts grew differently on the different biological meshes. Few fibroblasts grew on the synthetic mesh, impairing gene expression analysis. Fibroblasts on biological meshes induced specific metalloproteinases and reduced expression of collagen genes compared to control cells. Expression of markers for myofibroblast differentiation was also reduced. We found limited differences in gene expression programs among the different biological meshes

Differential neural dynamics underling pragmatic and semantic affordance processing in macaque ventral premotor cortex

Premotor neurons play a fundamental role in transforming physical properties of observed objects, such as size and shape, into motor plans for grasping them, hence contributing to "pragmatic" affordance processing. Premotor neurons can also contribute to "semantic" affordance processing, as they can discharge differently even to pragmatically identical objects depending on their behavioural relevance for the observer (i.e. edible or inedible objects). Here, we compared the response of monkey ventral premotor area F5 neurons tested during pragmatic (PT) or semantic (ST) visuomotor tasks. Object presentation responses in ST showed shorter latency and lower object selectivity than in PT. Furthermore, we found a difference between a transient representation of semantic affordances and a sustained representation of pragmatic affordances at both the single neuron and population level. Indeed, responses in ST returned to baseline within 0.5 s whereas in PT they showed the typical sustained visual-to-motor activity during Go trials. In contrast, during No-go trials, the time course of pragmatic and semantic information processing was similar. These findings suggest that premotor cortex generates different dynamics depending on pragmatic and semantic information provided by the context in which the to-be-grasped object is presented

A Psychometric Properties Evaluation of the Italian Version of the Geriatric Depression Scale

Objective. The Geriatric Depression Scale (GDS) is an evaluation tool to diagnose older adult's depression. This questionnaire was defined by Yesavage and Brink in 1982; it was designed expressly for the older person and defines his/her degree of satisfaction, quality of life, and feelings. The objective of this study is to evaluate the psychometric properties of the Italian translation of the Geriatric Depression Scale (GDS-IT). Methods. The Italian version of the Geriatric Depression Scale was administered to 119 people (79 people with a depression diagnosis and 40 healthy ones). We examined the following psychometric characteristics: internal consistency reliability, test-retest reliability, concurrent validity, and construct validity (factor structure). Results. Cronbach's Alpha for the GDS-IT administered to the depressed sample was 0.84. Test-retest reliability was 0.91 and the concurrent validity was 0.83. The factorial analysis showed a structure of 5 factors, and the scale cut-off is between 10 and 11. Conclusion. The GDS-IT proved to be a reliable and valid questionnaire for the evaluation of depression in an Italian population. In the present study, the GDS-IT showed good psychometric properties. Health professionals now have an assessment tool for the evaluation of depression symptoms in the Italian population

cJoin: join with communicating transactions

This paper proposes a formal approach to the design and programming of Long Running Transactions (LRT). We exploit techniques from process calculi to define cJoin, which is an extension of the join calculus with few well-disciplined primitives for LRT. Transactions in cJoin are intended to describe the transactional interaction of several partners, under the assumption that any partner executing a transaction may communicate only with other transactional partners. In such case, the transactions run by any party are bound to achieve the same outcome (i.e., all succeed or all fail). Hence, a distinguishing feature of cJoin, called dynamic joinability, is that ongoing transactions can be merged to complete their tasks and when this happens either all succeed or all abort. Additionally, cJoin is based on compensations, i.e., partial executions of transactions are recovered by executing user-defined programs instead of providing automatic roll-back. The expressiveness and generality of cJoin is demonstrated by many examples addressing common programming patterns. The mathematical foundation is accompanied by a prototype language implementation, which is an extension of the jocaml compiler

Reconfigurable and software-defined networks of connectors and components

The diffusion of adaptive systems motivate the study of models of software entities whose interaction capabilities can evolve dynamically. In this paper we overview the contributions in the ASCENS project in the area of software defined networks and of reconfigurable connectors. In particular we highlight: (i) the definition of the Network-conscious pi-calculus and its use in the modeling and verification of the PASTRY protocol, and (ii) the mutual correspondence between different frameworks for defining networks of connectors together with two suitable enhancements for addressing dynamically changing systems

Constraint design rewriting

Constraint networks are hyper-graphs whose nodes and hyper-edges represent variables and relations between them, respectively. The problem to assign values to variables by satisfying all constraints is NP-complete. We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting (ADR). The main idea is to exploit ADR to equip constraint networks with some hierarchical structure and represent them as terms of a suitable algebra, when possible. Constraint network transformations such as constraint propagations are then specified with efficient rewrite rules exploiting the network's structure provided by terms. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design of reconfigurable constraint networks

Instructional design e game-based learning.

Editoriale

Learning and school technologies. Critical issues and potentiality

Tecnologie nella scuola e apprendimento. Criticità e potenzialit